match () with
| A b -> ()
